Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
نویسندگان
چکیده
منابع مشابه
Look-back techniques and heuristics in DLV: Implementation, evaluation, and comparison to QBF solvers
DLV is the state-of-the-art system for evaluating disjunctive answer set programs. As in most Answer Set Programming (ASP) systems, its implementation is divided in a grounding part and a propositional model-finding part. In this paper, we focus on the latter, which relies on an algorithm using backtracking search. Recently, DLV has been enhanced with backjumping techniques, which also involve ...
متن کاملLook-Back Techniques and Heuristics in DLV: Implementation and Evaluation
Answer Set Programming (ASP) is a purely-declarative programming paradigm based on logic rules, allowing for both disjunction in the head of the rules and nonmonotonic negation in the body. ASP can express any property whose complexity is in the second level of the polynomial hierarchy, thus it is strictly more powerful than propositional logic under standard complexity conjectures. DLV is the ...
متن کاملLooking Back in DLV: Experiments and Comparison to QBF Solvers
DLV is the state-of-the-art system for evaluating disjunctive answer set programs. As in most Answer Set Programming (ASP) systems, its implementation is divided in a grounding part and a propositional model-finding part. In this paper, we focus on the latter, which relies on an algorithm using backtracking search. Recently, DLV has been enhanced with “backjumping” techniques, which also involv...
متن کاملcomparison of the amount of debris extruded apically in two rotary techniques: flexmaster and m2
چکیده ندارد.
15 صفحه اولa comparison of teachers and supervisors, with respect to teacher efficacy and reflection
supervisors play an undeniable role in training teachers, before starting their professional experience by preparing them, at the initial years of their teaching by checking their work within the proper framework, and later on during their teaching by assessing their progress. but surprisingly, exploring their attributes, professional demands, and qualifications has remained a neglected theme i...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Algorithms
سال: 2008
ISSN: 0196-6774
DOI: 10.1016/j.jalgor.2008.02.006